321. Rewriting techniques and applications
Author: / Ronald V. Book, ed
Library: Library of College of Science University of Tehran (Tehran)
Subject: Rewriting systems (Computer science) -- Congresses,Electronic digital computers -- Programming -- Congresses,Algorithms -- Congresses
Classification :
QA
267
.
I555
1991
322. Rewriting techniques and applications
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Rewriting systems (Computer science)- Congresses►Electronic digital computers- Programming- Congresses►Computer algorithms- Congresses
Classification :
267
.
R48
323. Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings
Author: International Conference on Rewriting Techniques and Applications )3rd: 9891: Chapel Hill, N.C.(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses
Classification :
QA
267
.
I555
1989
324. Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings
Author: International Conference on Rewriting Techniques and Applications )4th: 1991: Como, Italy(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses
Classification :
QA
267
.
I555
1991
325. Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses
Classification :
QA
267
.
I555
1993
326. Semantics and algebraic specificatio
Author: / Jens Palsberg (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses
Classification :
QA
,
76
.
7
,.
S435
,
2009
327. Semantics and algebraic specification
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
328. Semantics for concurrency
Author:
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Parallel programming (Computer science ► Programming languages (Electronic computers)- Semantics
Classification :
005
S471
329. Semantics for concurrency : proceedings of the International BCS-FACS Workshop
Author: / sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Parallel programming (Computer science) - Congresses,Programming languages (Electronic computers) - Semantics - Congresses
Classification :
QA76
.
642
.
I56
1990
330. Semantics of data types: international symposium, Sophia-Antipolis, France, June 27-29, 1984: Proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )ELectronnic computers(-- Semantics-- Congresses,، Data structures )Computer science(-- Congresses
Classification :
QA
76
.
7
.
S44
1984
331. Semantics of type theory : correctness, Completeness and independence results
Author: Thomas Streicher
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory
Classification :
QA
76
.
7
.
S85
332. Semantics of type theory : correctness, completeness, and independence results
Author: / Thomas Streicher
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Programming languages (Electronic computers) - Semantics,Functional programming (Computer science),Type theory
Classification :
QA76
.
7
.
S82
1991
333. Shared-memory parallelism can be simple, fast, and scalable /
Author: Julian Shun.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel computers-- Programming.,Parallel programming (Computer science),Parallel computers-- Programming.,Parallel programming (Computer science)
Classification :
QA76
.
642
.
S587
2017
334. Source Code Analytics With Roslyn and JavaScript Data Visualization /
Author: Sudipta Mukherjee ; foreword by Darius Blasband
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science.,Programming languages (Electronic computers),Software engineering.,Source code (Computer science),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.
Classification :
QA76
.
754
.
M85
2016
335. Spiele effektiv programmieren
Author: Uwe Kettermann, Andreas Rohde.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programming languages (Electronic computers),Software engineering.
336. Swift 3 for Absolute Beginners
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development.,Computer programming.,Computer science.,Programming languages (Electronic computers),Swift (Computer program language),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.
Classification :
QA76
.
73
.
S95
337. System design from porvably correct constructs: the beginning of true software engineering
Author: Martin, James
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، System design,Programming ، Electronic digital computers,، Debugging in computer science
Classification :
QA
76
.
9
.
S88
M37
1985
338. System design from provably correct constructs:the beginnings of
Author: MARTIN,JAMES
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: SYSTEM DESIGN , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , DEBUGGING IN COMPUTER SCIENCE
Classification :
QA
76
.
9
.
S88
M37
339. Systems Programming In Parallel Logic Languages
Author: Ian Foster
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Systems Programming (computer science),Parallel Processing (electronic computers)
Classification :
QA
،
76
.
66
،.
F67
،
1990
